#!/bin/bash

mkdir SSSL
mv ../source/SSSL.sl .
mv ../source/VHDL/superset32.vhd .
dc_shell-t
